Reliability Block Diagrams based Analysis: A Survey
نویسندگان
چکیده
Reliability Block Diagrams (RBDs) allow us to model the failure relationships of complex systems and their sub-components and are extensively used for system reliability, availability, dependability and maintainability analyses of many engineering systems. Traditionally, Reliability Block Diagrams (RBD) are analyzed using paper-and-pencil proofs or computer simulations. Recently, formal techniques, including Petri Nets and higher-order-logic theorem proving, have been used for their analysis as well. In this paper, we provide a concise survey of these available RBD analysis techniques and compare them based on their accuracy, user friendliness and computational requirements.
منابع مشابه
Automated Verification of Dynamic Reliability Block Diagrams Using Colored Petri Nets
The increasing reliance on computer technology nowadays has resulted in a rapidly growing need to build reliable and fault resistant computer-based systems. Computer system reliabilities are conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static representations of system reliabilities. A recent extension ...
متن کاملReasoning about Reliability and Cost using Decision Diagrams and Syntax Trees
Reliability is an increasingly important aspect in the design of systems, especially networks and service offerings. Optimization here is a multi-criteria process finding the right compromise between cost and quality. At the same time, results should be explored online, either as part of interactive, user-centric design tools or for Web based service negotiation. In this paper we consider a gen...
متن کاملEfficient Extraction of the Structure Formula from Reliability Block Diagrams with Dependent Basic Events
Traditional solution methods for fault trees or reliability block diagrams can only be applied as long as the failure and repair events of all components of the system are stochastically independent. In this paper, we present an efficient algorithm based on decision diagrams which is able to evaluate systems including intercomponent dependencies between arbitrary components. We show that the al...
متن کاملThree reliability engineering techniques and their application to evaluating the availability of IT systems: An introduction
D. Bailey E. Frank-Schultz P. Lindeque J. L. Temple III We present a brief introduction to three reliability engineering techniques: failure mode, effects, and criticality analysis; reliability block diagrams; and fault tree analysis. We demonstrate the use of one of these techniques, reliability block diagrams, in evaluating the availability of information technology (IT) systems through a cas...
متن کاملFormalization of Reliability Block Diagrams in Higher-order Logic
Reliability Block Diagrams (RBDs) allow us to model the failure relationships of complex systems and their sub-components and are extensively used for system reliability, availability and maintainability analyses. Traditionally, these RBD-based analyses are done using paper-and-pencil proofs or computer simulations, which cannot ascertain absolute correctness due to their inherent limitations. ...
متن کامل